Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
211	Econ Theory:1–7 DOIs00199EDITORIAL Computation of Nash equilibria in finite games: introduction to the symposium Add to Reading List Source URL: www.maths.lse.ac.uk Language: English - Date: 2009-12-04 09:49:02 Game theory Algorithmic game theory Epsilon-equilibrium Bimatrix game Nash equilibrium LemkeHowson algorithm Solution concept Best response Strategy Sequential equilibrium Trembling hand perfect equilibrium PPAD
212	DEGREES BOUNDING PRINCIPLES AND UNIVERSAL INSTANCES IN REVERSE MATHEMATICS LUDOVIC PATEY ABSTRACT. A Turing degree d bounds a principle P of reverse mathematics if every computable instance of P has a d-computable soluti Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2015-07-04 03:53:43 Mathematics Mathematical analysis Theory of computation Computability theory Theoretical computer science Computation in the limit Computable function Differential forms on a Riemann surface Congruence lattice problem
213	PROOFS AND TYPES JEAN-YVES GIRARD Translated and with appendices by PAUL TAYLOR Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2003-08-12 05:11:28 Logic Mathematical logic Theoretical computer science Proof theory Logic in computer science Models of computation Formal methods Metalogic Denotational semantics Linear logic Natural deduction Cut-elimination theorem
214	Journal of Machine Learning Research2801 Submitted 1/08; Revised 9/08; PublishedRobust Submodular Observation Selection Andreas Krause Add to Reading List Source URL: select.cs.cmu.edu Language: English - Date: 2009-08-13 03:47:05 Computational complexity theory Theory of computation Mathematics Submodular set function Greedy algorithm Algorithm Optimization problem Reduction NP Time complexity
215	(Prefix) Reversal Distance for (Signed) Strings with Few Blocks or Small AlphabetsI Laurent Bulteaua,1 , Guillaume Fertinb,2 , Christian Komusiewiczc,2,3 a Laboratoire d’Informatique Gaspard Monge, CNRS UMR 8049, Univ Add to Reading List Source URL: users.minet.uni-jena.de Language: English - Date: 2016-05-17 05:26:54 Formal languages Computability theory Theory of computation Character encoding String Computable function Permutation Pattern language
216	PDF Document Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-16 10:10:51 Mathematics Mathematical analysis Computability theory Theory of computation Functions and mappings Primitive recursive function Recursion Modulus of continuity Universal property operator Product rule
217	ROSAEC MEMO ROSAECSeptember 6, 2011 CPS Transformation of Lisp-Like Multi-Staged Languages Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2013-04-16 05:40:44 Software engineering Logic Declarative programming Models of computation Computability theory Lambda calculus Theoretical computer science Continuation-passing style Free variables and bound variables Substitution
218	Math´ematiques `a rebours et un Lemme de K¨onig Faible de Type Ramsey Stage de Master 2 - MPRI mars - aoˆ ut 2012 Ludovic Patey ∗ Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2013-04-16 05:40:26 Mathematical logic Computability theory Mathematics Theoretical computer science Proof theory Logic in computer science Theory of computation Second-order arithmetic Combinatory logic Reverse mathematics Computable function
219	Wavelike Design of Social Agents Simulated as System of Interacting Net of Neural Networks Darius Plikynas Informatics department, Vilnius Management Academy, Add to Reading List Source URL: necsi.edu Language: English - Date: 2007-09-26 06:39:48 Simulation Models of computation Systems theory Scientific modeling Complex systems theory Agent-based model Multi-agent system Social simulation Artificial neural network Computational model Agent Self-organization

UPDATE